swift-developers-japan
main / swift-zatsu
enumでstateパターン、無理やりRawValueに振る舞いを実装して見た https://gist.github.com/norio-nomura/65db97c4786851bc368a8d68834fb31b 
where T: Ready で書くと問題ないけど、where T == Ready で書くと Something.createInstance() の直後でも変換の補完で .shout() が出るのなんで？（もちろんコンパイルエラーにはなるけど…）
1
1
1
ManifestoGeneratorとか出来てる！w https://github.com/omochi/gysb/blob/master/Sources/GysbSwiftConfig/ManifestoGenerator.swift 
1
libSwiftPMが気軽に使えれば「リポジトリからPackage.swiftを解釈して〜」とか簡単に出来そうなのに… https://github.com/apple/swift-package-manager/blob/master/Package.swift#L19 brewのバイナリ配布、sourceryがSwiftPMでビルドしたものを使ってる。 https://github.com/Homebrew/homebrew-core/blob/master/Formula/sourcery.rb
Default formulae for the missing package manager for macOS
Default formulae for the missing package manager for macOS 
$(brew --repository homebrew/core) git remote add omochi https://github.com/omochi/homebrew-core.git したら、次のコマンドでformula作成: brew create https://github.com/omochi/gysb/archive/0.8.6.tar.gz して、出来たgysb.rbのdepends_on, def install, test doを https://github.com/Homebrew/homebrew-core/blob/master/Formula/sourcery.rb 辺りを参考に設定して、 brew install --verbose --debug gysb でインストールテストして、 cd $(brew --repo homebrew/core) git checkout -b gysb git add Formula/gysb.rb git commit git push https://github.com/omochi/homebrew-core/ gysb してPR、って感じかな？
Default formulae for the missing package manager for macOS 1
Default formulae for the missing package manager for macOS 
The missing package manager for macOS
-swift-version 3を使うとSwift 3.3になるぽい。 $ TOOLCHAINS=org.swift.4120171207a swift -swift-version 3 Welcome to Apple Swift version 4.1-dev (LLVM 67b9a8e8c2, Clang e617c83242, Swift 65b4172032). Type :help for assistance. 1> #if swift(>=4.1) 2. let versions = "swift-4.1" 3. #elseif swift(>=4.0.3) 4. let versions = "swift-4.0.3" 5. #elseif swift(>=4.0.2) 6. let versions = "swift-4.0.2" 7. #elseif swift(>=4.0) 8. let versions = "swift-4.0" 9. #elseif swift(>=3.3) 10. let versions = "swift-3.3" 11. #elseif swift(>=3.2.3) 12. let versions = "swift-3.2.3" 13. #elseif swift(>=3.2.2) 14. let versions = "swift-3.2.2" 15. #else // if swift(>=3.2) 16. let versions = "swift-3.2" 17. #endif 18. versions: String = "swift-3.3" 18> 3
AVAudioFile もなぜか AVAudioFramePosition は Int64 なのに AVAudioFrameCount は逆に UInt32 しかないという不可解な現象 https://qiita.com/lovee/items/8bdf7b58d96d683d31b9 AVFoundation.framework/Frameworks/AVFAudio.framework/Headers/AVAudioTypes.h
/*! @typedef AVAudioFrameCount @abstract A number of audio sample frames. @discussion Rationale: making this a potentially larger-than-32-bit type like NSUInteger would open the door to a large set of runtime failures due to underlying implementations' use of UInt32. TODO: Remove rationales. */ typedef uint32_t AVAudioFrameCount; 1
// Integer literals are limited to 2048 bits. というコメントが。 https://github.com/apple/swift/blob/0cf1b52452f56b3bbdf2f2305cc10fef42bdff8b/stdlib/public/core/Policy.swift#L99 
func tokenize(source: String) -> [Token] { let state = State(input: source) for character in state.input { switch state.mode { case .plain: switch character { case "'": state.mode = .symbol case "\"": state.mode = .string case "\n": state.mode = .newline state.storage = "" case "(", ")", ":": state.tokens.append(Token(type: .token, value: String(character))) case " ": break default: state.mode = .token state.storage = String(character) } 1
4
1
️ If you don't have something to report in the following format, it will probably be easier and faster to ask in the slack channel first. ️ ️ Please take you time to fill in the fields below. If...
hashをファイル変更検知に使ってバグってたことがあった時に調べた。 https://github.com/realm/SwiftLint/issues/1184#issuecomment-274744331
1
https://github.com/swift-quest/swift-quest/blob/master/print-and-arithmetic/first-step.md
1 
1
1 
絶対に雑なエラー型は作らない(ライブラリやそのクラスや関数に起因したエラー型を定義する) - 
その他
それならグラフ構造で表さないと・・・。
What are the eligibility requirements for participation? ・You must be at least 18 years of age
1
public func AAAAAAA(x: Int) { func step1() { /* ... */ } func step2() { /* ... */ } step1() step2() } public func BBBBBBB(x: Int) { ({ // step 1 /* ... */ })() ({ // step 2 /* ... */ })() } public func CCCCCCC(x: Int) { STEP1: do { /* ... */ } STEP2: do { /* ... */ } }
/* ... */ に十分長い処理を書いて試したところ、-O でも 内部 func と クロージャはインライン化されなかったです。ちょっと意外。 1
1
2
func nop() { } typealias Setup = () -> Void class X { lazy var setup: Setup = { // 1回だけ return nop }() } 少し見た目をマシにしてみた 2
case 1 見落としやすいので構文エラーにして欲しい感 is ある 
1
JSONEncoderとJSONDecoder互換のクラスを追加してみた。 https://github.com/norio-nomura/ObjectEncoder/pull/18 classの場合 のコードがうごくのはおかしいよねっとｗ https://qiita.com/noppefoxwolf/items/a9d2a103d54b2b1ea415 
$0.baseAddress! ..< $0.baseAddress! + count できるの知らなかったー
(1)..<
(2)]. Like @DeFrenZ, I don’t understand this desire to avoid words, which everyone understands.
1brew tap el-hoshino/zundoko brew install zundoko そして使い方は zundoko の後に適当に何か英文章書きます、何が出力されるかはEnter押してからのお楽しみｗ zundoko try! Swift is Good
--version になるよみたいな話を観た気がしてウキウキして java 9 いれて --version してそんなオプションネーヨと言われた気持ち
1
1
/// canConstantFoldCallTo - Return true if its even possible to fold a call to /// the specified function. bool canConstantFoldCallTo(ImmutableCallSite CS, const Function *F); canConstantFoldCallToの実装。 https://github.com/apple/swift-llvm/blob/stable/lib/Analysis/ConstantFolding.cpp#L1441 
extension Polynomial: EuclideanRing where R: Field { 1 
compactMap の Proposal に書かれてる compact も実装できない・・・。 https://github.com/apple/swift-evolution/blob/master/proposals/0187-introduce-filtermap.md 
1
アドバイスありがとうございました！
https://qiita.com/omochimetaru/items/422ddd04e95c55dd3833#gyb
extension BilinearMap: VectorSpace, BilinearMapType where Domain: ProductSetType & VectorSpace, Domain.Left: VectorSpace, Domain.Right: VectorSpace, Codomain: VectorSpace, Domain.CoeffRing == Codomain.CoeffRing, Domain.CoeffRing == Domain.Left.CoeffRing, Domain.CoeffRing == Domain.Right.CoeffRing {extension <V1: VectorSpace, V2: VectorSpace, W: VectorSpace> BilinearMap: BilinearMapType where Domain == ProductVectorSpace<V1, V2>, Domain.CoeffRing == Codomain.CoeffRing { } これで済むと思います。
1
public typealias BilinearForm<V: VectorSpace> = BilinearMap<V, V, AsVectorSpace<V.CoeffRing>> extension BilinearForm: BilinearFormType where Domain: ProductSetType & VectorSpace, Domain.Left: VectorSpace, Domain.Left == Domain.Right, Domain.CoeffRing == Domain.Left.CoeffRing, Codomain == AsVectorSpace<Domain.CoeffRing> { } ） 
true && true && true とかやるだけで出てた気がするのでだいぶ良くはなったんだと思いますが
* は一通りしかないはずなんですよね… * M みたいな感じで係数になりうるケースはあるので、その辺がマッチしちゃってるんだと思うんですが… * ではなく * ? で探索始めちゃってるんですかねぇ？コンパイラの内部の挙動を確認しないとわからなさそう・・・。
1public extension AdditiveGroup { public static func -(a: Self, b: Self) -> Self { return (a + (-b)) } }
https://github.com/taketo1024/SwiftyMath/blob/master/Sources/SwiftyMath/Abstract/AdditiveGroup.swift#L12
1 https://github.com/apple/swift/pull/14581
1）
これいらないですよね。 
1
Processで起動した子プロセスの出力をキャプチャする際にはDispatchGroupで待つと良いという知見を得た。 https://github.com/norio-nomura/SwiftCompilerDiscordappBot/blob/master/Sources/SwiftCompilerDiscordappBot/execute().swift#L27-L31 
2
1 1
これを 
~/Library/Developer/Xcode/UserData/ に入れればすぐ出ます。 1JSONEncoder.KeyEncodingStrategy.convertToSnakeCaseとJSONDecoder.KeyDecodingStrategy.convertFromSnakeCaseが非対称となる問題のスレッドがSwift Forumではじまりました。 https://forums.swift.org/t/handling-edge-cases-in-jsonencoder-jsondecoder-key-conversion-strategies-sr-6629/12384
import Foundation struct S: Codable { var myURLProperty: String } let encoder = JSONEncoder() encoder.keyEncodingStrategy = .convertToSnakeCase let data = try encoder.encode(S(myURLProperty: "property")) let decoder = JSONDecoder() decoder.keyDecodingStrategy = .convertFromSnakeCase let decoded = try decoder.decode(S.self, from: data) // "No value associated with key CodingKeys(stringValue: \"myURLProperty\", intValue: nil) (\"myURLProperty\"), converted to my_url_property."
上記コードはLinuxでは動きません。 
4 1
ちと自分のケースだと難しそうです…
protocol XorY {} struct X: XorY {} struct Y: XorY {} protocol A1 { func a1() -> String } protocol A2: A1 { func a2() -> String } protocol A3: A2 { func a3() -> String } struct C<R>: A1 { func a1() -> String { return "a1\(R.self)" } } extension C: A2 where R: XorY { func a2() -> String { return "a2\(R.self)" } } extension C: A3 where R == Y { func a3() -> String { return "a3\(R.self)" } } print(C<X>().a1()) print(C<X>().a2()) // print(C<X>().a3()) // compile error print(C<Y>().a1()) print(C<Y>().a2()) print(C<Y>().a3()) シンプルな例ならイケそうな雰囲気はありますが…もしかしたら別のところでダメなのかも 
1
public protocol ComplexType: Ring { associatedtype Base: Ring init(_ x: Base) init(_ x: Base, _ y: Base) static var imaginaryUnit: Self { get } var realPart: Base { get } var imaginaryPart: Base { get } var inverse: Self? { get } var conjugate: Self { get } } ってして、 protocol extension つける方向で行こうかと思いますextension Array: Equatable where Element==Int {} 1extension Array: Equatable where Element==Never { static func == (lhs: Array, rhs: Array) -> Bool { return true } } 1
最初は「ManualLayout」にしたかったけどGitHubで検索してみたら既に同じ名前のがあったので考えるのだるかったからNotAutoにした訳でそろそろ4.0の時に名前考え直さないと…
a == aのケースについて話されてるかはこれから読みます。 Array.== first looks to referential equality of underlying Element.==. As a consequence, an array of NaN compares equal to another array of NaN if they share the same buffer, but otherwise false. This is an undesirable outcome. 頭から書いてあった
1
protocol A { static func hoge() } struct B: A { static func hoge() { print("B") } } extension Optional: A where Wrapped: A { static func hoge() { print("Optional") } } struct F<T> { static func fuga() { switch T.self { case is A.Type: (T.self as! A.Type).hoge() default: fatalError() } } } F<B>.fuga() // B // warning: Swift runtime does not yet support dynamically querying conditional conformance F<B?>.fuga() // fatalError 
4
4 1 base を外部から使ってなくないですか？ https://github.com/t-ae/xorswift/blob/swift4.2/Sources/Uniform.swift .base で検索してた 
let a = [[2], [3 ,5]] for (i, var numbers) in a.enumerated() { numbers.append(3) print("\(i): \(numbers)") } 1_random()をrandom(in: UnboundedRange)にしたら？って提案しようかと思うんですがこういう細かい&そもそもまだ固まってない内容もフォーラムにスレッド立てていいんですかね？ RandomUnificationのスレはちょっと古くて…… protocol P { associatedtype T func f(_ g: @escaping (T) -> Void) } class C<S>: P { typealias T = S private let _f: ((S) -> Void) -> Void init<Q: P>(q: Q) where Q.T == T { // Error: cannot assign value of type '((S) -> Void) -> Void' to type '((S) -> Void) -> Void' self._f = { g -> Void in q.f(g) } } func f(_ g: @escaping (S) -> Void) { self._f(g) } }
1
self の再宣言で LLDB 壊れますね class Example { func ok() { let f = { [weak self] in guard let strongSelf = self else { return } // Set a breakpoint at here print(strongSelf) } f() } func error() { let f = { [weak self] in guard let `self` = self else { return } // Set a breakpoint at here print(self) } f() } } Example().ok() Example().error() 1
1String(reflecting: error) で同等みたいです。 1 1
swift-DEVELOPMENT-SNAPSHOT-2018-08-26-a があるけど https://github.com/apple/swift/tags にタグが無いな。gitで見ても無さげ。 1 #other-lang 行きますか。
1
$ cat A.swift @available(*, introduced: 1) public func funcA() { print("funcA") } $ cat B.swift public func funcB() { print("funcB") funcA() } $ cat C.swift public func funcC() { print("funcC") } $ cat output.json { "A.swift": { "object": "Derived/A.o", "swiftmodule": "Derived/A~partial.swiftmodule", "swift-dependencies": "Derived/A.swiftdeps", }, "B.swift": { "object": "Derived/B.o", "swiftmodule": "Derived/B~partial.swiftmodule", "swift-dependencies": "Derived/B.swiftdeps", }, "C.swift": { "object": "Derived/C.o", "swiftmodule": "Derived/C~partial.swiftmodule", "swift-dependencies": "Derived/C.swiftdeps", }, "": { "swift-dependencies": "Derived/buildrecord.swiftdeps" } } $ mkdir -p Derived な状態から、 $ xcrun swiftc -v -incremental -output-file-map output.json A.swift B.swift C.swift -module-name MyModule -emit-library -emit-module -o Derived/MyModule.dylib でとりあえずクリーンビルドして、Derived ディレクトリの中身見たり、A.swiftの@available消して同コマンド実行して何が起こってるか確認したりすると面白いです。 1
Sequence （ Collection ？）を型パラメータにとるのがおもしろいですね。 https://github.com/pointfreeco/swift-nonempty 
A compile-time guarantee that a collection contains a value. - pointfreeco/swift-nonempty
Collection っぽいですね。 https://github.com/pointfreeco/swift-nonempty/blob/master/Sources/NonEmpty/NonEmpty.swift#L1 A compile-time guarantee that a collection contains a value. - pointfreeco/swift-nonempty A compile-time guarantee that a collection contains a value. - pointfreeco/swift-nonempty A compile-time guarantee that a collection contains a value. - pointfreeco/swift-nonempty 
1
特に理由はない気がします。kylefがやる気になったらリリースなのかも。
func eatBuffer() { self.buffer = Array(self.buffer[self.pos...]) self.pos = 0 } ↑ストリーム処理を書いているときにこれをよくやります 1
[String: Any]ベースよりも速くなる可能性があるな。 https://github.com/apple/swift-syntax/blob/master/Sources/SwiftSyntax/ByteTreeDeserialization.swift 
1 Introduction Swift 2 has introduced error handling mechanism, which has been widely adopted since. Shortly after that, XCTest added error catching support to its asse...
1
2
func nthOfEach( _ n: Int, from heterogeneousCollections: [any Collection] ) -> Any { return heterogeneousCollections.map { collection in // collection is `any Collection` let nthIndex = collection.startIndex.advanced(by: n) // error: inferred static type of nthIndex is something like `any Collection.Index`, // so compiler can’t guarantee it indexes `collection` … correct? return collection[nthIndex] } }
https://forums.swift.org/t/se-0244-opaque-result-types-reopened/22942/49
1
1
The issue with changing .swapTo (et al.?) to nonmutating is that semantically it really is a mutation. But pointers as collections have different mutation semantics to other collections: Mutating an Array’s storage is the same as mutating its value, whereas a pointer’s value is its address, not its storage. Making the Unsafe*Pointer MutableCollection methods themselves nonmutating probably wouldn’t be a source-breaking change (it’d just lower the “bar of entry” to include let constant instances too). I imagine this is noncontroversial.
https://forums.swift.org/t/why-does-the-withunsafemutablebufferpointer-closure-take-an-inout-parameter/6794/10 
string1 += string2 はちゃんと string1 = string1 + string2 よりも効率的に実装されてるのか。 https://github.com/apple/swift/blob/master/stdlib/public/core/String.swift#L575-L577 
.zeroじゃなくて0書くだけで少し高速化できる。 
1
protocol Protocol { associatedtype T1 associatedtype T2 func myFunc<Bar, Baz>(_: Bar) -> Class<Bar.T1, Baz> where Bar: Class<T1, T2> } class Class<T1, T2> : Protocol { func myFunc<Bar, Baz>(_: Bar) -> Class<Bar.T1, Baz> where Bar: Class<T1, T2> { } } このコードをコンパイルしようとすると Abort Trap:6 になるのですが、これって既知のバグでしょうか 
While emitting witness table for protocol conformance to ...が僕のと同じなので既知のBugでした、ありがとうございました SystemRandomNumberGeneratorあたりにできなかった名残がありますが。 https://github.com/apple/swift/blob/master/stdlib/public/core/Random.swift#L157 
1
void swift::initializeProtocolConformanceLookup() { REGISTER_FUNC( addImageCallback<TextSegment, ProtocolConformancesSection, addImageProtocolConformanceBlockCallback>); } 
1WeakAnyPの実装が必要で、 これだとうまくいくんだな 1
1
1
1 1 1
https://qiita.com/yyu/items/22fd6e52267daac49f8e 
2
1
1 
--use-integrated-swift-driverオプションが追加されています。 
1 1
objc_* を呼んで好き勝手できる(し、ObjCのクラスを呼び出すライブラリもアプリに内蔵されてる)んですが、そういうのが許されているので、(個人的な解釈ですが) Apple的にはたぶんユーザーに書かせる分には良いんじゃないかと思うんですよね
async/await を比較した場合、 suspendAsync(...) に相当するのは new Promise(...) で、 beginAsync に相当するのは await なしでのコールかな？ https://gist.github.com/lattner/429b9070918248274f25b714dcfc7619 suspendAsync と new Promise に対応してそう。 https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.coroutines.experimental/suspend-coroutine.html
1 6
1
1
1
A server-side Swift web framework. Contribute to vapor/vapor development by creating an account on GitHub.
っぽい
trait From<T> とtrait Into<T> が用意されてて羨ましいな 
1 
2
3 1 2 2
/usr/lib/swift/libswift_Concurrency.dylibが絶対パスでリンクされて、SIP有効だとDYLD_LIBRARY_PATHも渡せないから、
mealHandle と () の間に .get が抜けてる？
func eat(mealHandle: Task.Handle<Meal, Error>) {
let meal = try await mealHandle()
meal.eat() // yum
}
https://github.com/DougGregor/swift-evolution/blob/structured-concurrency/proposals/nnnn-structured-concurrency.md
1 3
infix operator ..<?: RangeFormationPrecedence
func ..<?<T>(lhs: T, rhs: T) -> Range<T>? where T: Comparable {
guard lhs <= rhs else { return nil }
return lhs ..< rhs
}
infix operator ...?: RangeFormationPrecedence
func ...?<T>(lhs: T, rhs: T) -> ClosedRange<T>? where T: Comparable {
guard lhs <= rhs else { return nil }
return lhs ... rhs
} 1 1 1 1
5
pretty big regression https://t.co/5wVllUx1W8
アーカイブにすると使われないシンボルがリンクされなくて困るからなのかな？ライブラリを使う側でオブジェクトファイルを列挙すればいい気がするけど…（SwiftPMはそうなってる） 
️（新しく0.0.2のタグがついた）
.swiftmodule を入れられて、それが import できる、つまり .swiftinterface の代わりに(コンパイラのバージョンが一致していれば) .swiftmodule を使うことができる状態になっている。 1
1 1.swiftinterface と .swiftmodule のどっちが「正」かっていうのは議論あるかも。
https://forums.swift.org/t/explicit-module-builds-the-new-swift-driver-and-swiftpm/36990 ここでは "there are four forms of module" Foundation.Process で /usr/bin/swiftc を実行しようとすると、
2021-06-05 15:20:12.963749+0900 swiftc[99910:13408271] Failed to open macho file at /Applications/Xcode12.5.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/swiftc for reading: Too many levels of symbolic links 
1
1 1 1
async 化されてるんだとしたら、https://github.com/apple/swift-evolution/blob/main/proposals/0297-concurrency-objc.md#asynchronous-completion-handler-methods で議論されなかったのかな。
1 1
1
MainActor に戻す手段をどこかで見たなぁと思って WWDC のセッションや Proposal 漁ってたんですが、 { @MainActor in ... } を見つけて、これだったかも？ってなってました。
Brent, earlier in the thread makes a lot of good points. But I’d still like to discuss two subjects: 1) What makes the proposal really stand on its feet compared to third-party libraries is the compiler generation magic. I feel divided about it. On one hand, this is the only solution today to have this level of t... 
: Int l... class UICell {}
func _dequeue(_ type: UICell.Type) -> UICell {
print(type) // MyCellが出てこない
fatalError()
}
func dequeue<Cell: UICell>(_ type: UICell.Type = Cell.self) -> Cell {
_dequeue(Cell.self) as! Cell
}
class MyCell: UICell {}
class MyCell2: UICell {}
func cell(for row: Int) -> UICell {
let cell: UICell
if Bool.random() {
cell = dequeue(MyCell.self)
} else {
cell = dequeue(MyCell2.self)
}
return cell
}
cell(for: 0)
おぼろげな記憶から思い出してみたんですがこんな感じだったかも？
_precondition になってる。
@inlinable
@inline(__always)
internal func _checkValidSubscript(_ index: Int) {
_precondition(
(index >= 0) && (index < immutableCount),
"Index out of range"
)
}
https://github.com/apple/swift/blob/main/stdlib/public/core/ContiguousArrayBuffer.swift#L589-L596
_require だったっぽい。
https://github.com/apple/swift/commit/40b1a0b7e016b467b6c569db79b4d467b334352c
1
do 記法と throws / try の話をしていたら、偶然だけど今日 inamiy さんが iOSDC で do 記法と async / await の話をしていた。
https://speakerdeck.com/inamiy/iosdc-japan-2021
2
タダにはならないけど少しの金銭的な援助が受けられることになりました。 1
タダにはならないけど少しの金銭的な援助が受けられることになりました。
The intent is to free the core team to invest more in overall project stewardship and create a larger language workgroup that can incorporate more community members in language decisions.
https://forums.swift.org/t/core-team-to-form-language-workgroup/55455 2
️: Diagnose API breaking changes. If you are a library owner, it is now easy to check if you accidentally break public API. Ideally you make this part of your CI. Huge shoutout to community contributor @owenvoorhees who implemented this. https://t.co/Y9qk0qUhg5
1
1
@_optimize(none)
func blackhole<T>(_: T) {}
func modify<T, ResultType>(_ x: inout T, _ body: (inout T) -> ResultType) -> ResultType {
return body(&x)
}
struct Element {
var value1: Int64
var value2: Int64
var tails: [Int64]
}
func modifyElement(items: [Element]) {
var items = items
modify(&items[0]) { item in
item.value1 = 42
item.tails[0] = 50
}
blackhole(items)
}
import Foundation
let start = Date()
for _ in 0..<1000000 {
let baseItems = [
Element(value1: 1, value2: 2, tails: Array(repeating: 24, count: 3000)),
]
modifyElement(items: baseItems)
}
let elapsed = Date().timeIntervalSince(start)
print("took \(elapsed)") took 2.2947229146957397 @_optimize(none)
func blackhole<T>(_: T) {}
struct Element {
var value1: Int64
var value2: Int64
var tails: [Int64]
}
func modifyElement(items: [Element]) {
var items = items
var item = items[0]
item.value1 = 42
item.tails[0] = 50
items[0] = item
blackhole(items)
}
import Foundation
let start = Date()
for _ in 0..<1000000 {
let baseItems = [
Element(value1: 1, value2: 2, tails: Array(repeating: 24, count: 3000)),
]
modifyElement(items: baseItems)
}
let elapsed = Date().timeIntervalSince(start)
print("took \(elapsed)") took 2.611519932746887 
ManagedCriticalStateというstructがあり、
https://github.com/apple/swift-async-algorithms/blob/main/Sources/AsyncAlgorithms/Locking.swift
用途としては、複数のactorとかqueueで状態を共有する場合や、前に他のスレッドで話にあったwithTaskCancellationHandlerのcancelHandlerで利用することが想定されているのですが、
https://github.com/apple/swift-async-algorithms/pull/7
actor内部の値にsyncにアクセスしたい場合にも使えるのかなと思ったのですが、どうなんでしょう？withCriticalRegion内部でawaitできないのでデータ競合は起きないのかなーと思ったのですが…
actor A {
let state = ManagedCriticalState(0)
nonisolated var value: Int {
state.withCriticalRegion {
$0
}
}
func update() {
state.withCriticalRegion {
$0 += 1
}
}
}
func test() async {
let a = A()
await a.update()
print(a.value) // 1
}
await test()
ManagedCriticalStateというstructがあり、
https://github.com/apple/swift-async-algorithms/blob/main/Sources/AsyncAlgorithms/Locking.swift
用途としては、複数のactorとかqueueで状態を共有する場合や、前に他のスレッドで話にあったwithTaskCancellationHandlerのcancelHandlerで利用することが想定されているのですが、
https://github.com/apple/swift-async-algorithms/pull/7
actor内部の値にsyncにアクセスしたい場合にも使えるのかなと思ったのですが、どうなんでしょう？withCriticalRegion内部でawaitできないのでデータ競合は起きないのかなーと思ったのですが…
actor A {
let state = ManagedCriticalState(0)
nonisolated var value: Int {
state.withCriticalRegion {
$0
}
}
func update() {
state.withCriticalRegion {
$0 += 1
}
}
}
func test() async {
let a = A()
await a.update()
print(a.value) // 1
}
await test() 
1
1
1// makePair()
sil hidden @$s1i8makePairQr_QrtyF : $@convention(thin) @substituted <τ_0_0, τ_0_1> () -> (@out τ_0_0, @out τ_0_1) for <@_opaqueReturnTypeOf("$s1i8makePairQr_QrtyF", 0) __, @_opaqueReturnTypeOf("$s1i8makePairQr_QrtyF", 0) __> { // makePair()
sil @$s1b8makePairQr_QR_tyF : $@convention(thin) @substituted <τ_0_0, τ_0_1> () -> (@out τ_0_0, @out τ_0_1) for <@_opaqueReturnTypeOf("$s1b8makePairQr_QR_tyF", 0) __, @_opaqueReturnTypeOf("$s1b8makePairQr_QR_tyF", 1) __>public protocol P {}
public struct S1: P {}
public struct S2: P {}
public func makePair() -> (some P, some P) {
(S1(), S1())
} sil_stage canonical
import Builtin
import Swift
import SwiftShims
public protocol P {
}
public struct S1 : P {
init()
}
public struct S2 : P {
init()
}
public func makePair() -> (some P, some P)
// main
sil @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
%2 = integer_literal $Builtin.Int32, 0 // user: %3
%3 = struct $Int32 (%2 : $Builtin.Int32) // user: %4
return %3 : $Int32 // id: %4
} // end sil function 'main'
// S1.init()
sil hidden @$s4main2S1VACycfC : $@convention(method) (@thin S1.Type) -> S1 {
// %0 "$metatype"
bb0(%0 : $@thin S1.Type):
%1 = alloc_stack [lexical] $S1, var, name "self", implicit // user: %3
%2 = struct $S1 () // user: %4
dealloc_stack %1 : $*S1 // id: %3
return %2 : $S1 // id: %4
} // end sil function '$s4main2S1VACycfC'
// makePair()
sil @$s4main8makePairQr_QR_tyF : $@convention(thin) @substituted <τ_0_0, τ_0_1> () -> (@out τ_0_0, @out τ_0_1) for <@_opaqueReturnTypeOf("$s4main8makePairQr_QR_tyF", 0) __, @_opaqueReturnTypeOf("$s4main8makePairQr_QR_tyF", 1) __> {
// %0 "$return_value" // user: %5
// %1 "$return_value" // user: %9
bb0(%0 : $*S1, %1 : $*S1):
%2 = metatype $@thin S1.Type // user: %4
// function_ref S1.init()
%3 = function_ref @$s4main2S1VACycfC : $@convention(method) (@thin S1.Type) -> S1 // user: %4
%4 = apply %3(%2) : $@convention(method) (@thin S1.Type) -> S1 // user: %5
store %4 to %0 : $*S1 // id: %5
%6 = metatype $@thin S1.Type // user: %8
// function_ref S1.init()
%7 = function_ref @$s4main2S1VACycfC : $@convention(method) (@thin S1.Type) -> S1 // user: %8
%8 = apply %7(%6) : $@convention(m 
1
someにするかどうかという議論が最近盛り上がってますね(やるべきなのか、やるとしたらいつどうやるのか)
これまで存在型になって問題が起きる可能性があったのでanyが入ったという動機を考えるとそうなるのかなあとは思いましたが、どうなんでしょう？
https://forums.swift.org/t/discussion-eliding-some-in-swift-6/57918 
1 1
ただまだ Xcode 14 では動かないかも？ ↓のスレでいろいろ話しているので貼っておきます
https://twitter.com/the_uhooi/status/1560796006664765445?s=20&t=YVn3hc8-0COpgqjqIZdJdg 1
